integers definition